 |
| VECTOR | [3-0-0:3] |
|---|---|
| PREVIOUS CODE | MICS 6000A |
| DESCRIPTION | The course will discuss the application of automated reasoning techniques in the verification of software and hardware components in electronic systems. This course will cover basic knowledge of logic, satisfiability solvers, model checking and their applications. This course also includes topics on circuit testing, for example, automatic test pattern generation and design for testing. |
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6078) | We 01:30PM - 04:20PM | Rm 201, E4 | ZHANG, Hongce | 20 | 0 | 20 | 0 |
| DESCRIPTION | This course introduces students to the world of computer science, data analysis, and artificial intelligence. Through a series of lectures and hands-on exercises, students will learn the basics of each of these disciplines, and how they can be used to solve real-world problems. It will cover the following topics: an introduction to computer science, including an overview of its principles and concepts; the basics of data analysis, including methods for collecting, organizing, and analyzing data; an introduction to artificial intelligence, including an exploration of its various applications and capabilities; and an examination of how computer science, data analysis, and artificial intelligence can be used in combination to solve real-world problems. Upon completion of this course, students will have a strong foundation on which to build more advanced knowledge in these exciting fields. |
|---|
| Section | Date & Time | Room | Instructor | Quota | Enrol | Avail | Wait | Remarks |
|---|---|---|---|---|---|---|---|---|
| L01 (6608) | TuTh 03:00PM - 04:20PM | Rm 122, E1 | LI, Wenye ZHANG, Hongce | 65 | 0 | 65 | 0 |